#ifndef BOOTLOADER_ARCH_H
#define BOOTLOADER_ARCH_H

#define HALVM_STACK_SIZE (32 * 1024)

#endif
